OD elements of countable OD sets in the Solovay model
نویسنده
چکیده
It is true in the Solovay model that every countable ordinal-definable set of sets of reals contains only ordinal-definable elements.
منابع مشابه
On a Glimm – Effros dichotomy and an Ulm–type classification in Solovay model
We prove that in Solovay model every OD equivalence E on reals either admits an OD reduction to the equality on the set of all countable (of length < ω1 ) binary sequences, or continuously embeds E0, the Vitali equivalence. If E is a Σ1 1 (resp. Σ 1 2 ) relation then the reduction in the “either” part can be chosen in the class of all ∆1 (resp. ∆2 ) functions. The proofs are based on a topology...
متن کاملOn a dichotomy related to colourings of de nable graphs in generic models
We prove that in the Solovay model every OD graph G on reals satisses one and only one of the following two conditions: (I) G admits an OD colouring by ordinals; (II) there exists a continuous homomorphism of G 0 into G; where G 0 is a certain F locally countable graph which is not ROD colourable by ordinals in the Solovay model. If the graph G is locally countable or acyclic then (II) can be s...
متن کاملEvaluation of Strain Distribution in Bone around Implant in Treatment Design of Overdentures Using Computer and Modeling of Finite Elements
Introduction: Introduction: Few studies have investigated the distribution of stress around implants. In this study the distribution of stress in bones around implants was investigated in five overdenture (OD) treatment designs including OD-1, OD-2, OD-3, OD-4 and OD-5. Materials and methods: The Catia modeling software was used in order to simulate the tooth/implant model and bone. First, the ...
متن کاملOD-characterization of $U_3(9)$ and its group of automorphisms
Let $L = U_3(9)$ be the simple projective unitary group in dimension 3 over a field with 92 elements. In this article, we classify groups with the same order and degree pattern as an almost simple group related to $L$. Since $Aut(L)equiv Z_4$ hence almost simple groups related to $L$ are $L$, $L : 2$ or $L : 4$. In fact, we prove that $L$, $L : 2$ and $L : 4$ are OD-characterizable.
متن کاملA Theorem of Woodin on Mouse Sets
It is well known that for any n < ω, the reals in the minimal fully iterable L[ ~ E]-model with n Woodin cardinals are exactly the reals which are ∆n+2 in a countable ordinal ([8]). In a similar vein, the reals in the minimal fully iterable L[ ~ E]-model with ω Woodin cardinals are exactly those which are ∆ L(R) 1 in a countable ordinal, or equivalently, OD L(R) ([7]). Rudominer ([5]) has exten...
متن کامل